linear axiom

直线公理